Bharat Jayaraman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Implementation of subset-equational programs

Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.83 MB

english, 1992

2

JI.FI : Visual test and debug queries for hard real-time

Blanton, Ethan, Lessa, Demian, Arora, Puneet, Ziarek, Lukasz, Jayaraman, Bharat

Journal:

Concurrency and Computation: Practice and Experience

Year:

2014

Language:

english

File:

PDF, 2.95 MB

english, 2014

3

The path-to-profitability of Internet IPO firms

Bharat A. Jain, Narayanan Jayaraman, Omesh Kini

Journal:

Journal of Business Venturing

Year:

2008

Language:

english

File:

PDF, 572 KB

english, 2008

4

[IEEE 2015 Eighth International Conference on Contemporary Computing (IC3) - Noida, India (2015.8.20-2015.8.22)] 2015 Eighth International Conference on Contemporary Computing (IC3) - Consistency of Java run-time behavior with design-time specifications

Jayaraman, Swaminathan, Hari, Dinoop, Jayaraman, Bharat

Year:

2015

Language:

english

File:

PDF, 987 KB

english, 2015

5

Aggregation and negation-as-failure

Mauricio Osorio, Bharat Jayaraman

Journal:

New Generation Computing

Year:

1999

Language:

english

File:

PDF, 1.64 MB

english, 1999

6

A comparison of B2B e-service solutions

Kim, Dan Jong, Agrawal, Manish, Jayaraman, Bharat, Rao, H. Raghav

Journal:

Communications of the ACM

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

7

[ACM Press Companion to the 20th annual ACM SIGPLAN conference - San Diego, CA, USA (2005.10.16-2005.10.20)] Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05 - Visualizing errors in object oriented programs

Girgis, Hani Z., Jayaraman, Bharat, Gestwicki, Paul V.

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

8

[ACM Press the 2007 OOPSLA workshop - Montreal, Quebec, Canada (2007.10.21-2007.10.21)] Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07 - Declarative and visual debugging in Eclipse

Czyz, Jeffrey K., Jayaraman, Bharat

Year:

2007

Language:

english

File:

PDF, 538 KB

english, 2007

9

Semantics of temporal constrained objects

Kannimoola, Jinesh M., Jayaraman, Bharat, Achuthan, Krishnashree

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 446 KB

2021

10

[IEEE 2014 Seventh International Conference on Contemporary Computing (IC3) - Noida, India (2014.8.7-2014.8.9)] 2014 Seventh International Conference on Contemporary Computing (IC3) - Towards program execution summarization: Deriving state diagrams from sequence diagrams

Jayaraman, Swaminathan, D, Kishor Kamath, Jayaraman, Bharat

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

11

Prospects and challenges in utilization of indigenous rocks and minerals as source of potassium in farming

Shirale, Abhay Omprakash, Meena, Bharat Prakash, Gurav, Priya Pandurang, Srivastava, Sanjay, Biswas, Ashis Kumar, Thakur, Jyoti Kumar, Somasundaram, Jayaraman, Patra, Ashok Kumar, Rao, Annangi Subba

Journal:

Journal of Plant Nutrition

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

12

Verifying security properties of internet protocol stacks: The split verification approach

Jayaraj Poroor, Bharat Jayaraman

Journal:

Journal of Systems Architecture

Year:

2011

Language:

english

File:

PDF, 1.11 MB

english, 2011

13

And—or parallelism on shared-memory multiprocessors

Gopal Gupta, Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.30 MB

english, 1993

14

Cancer cell metabolism as new targets for novel designed therapies

de Mas, Igor Marín, Aguilar, Esther, Jayaraman, Anusha, Polat, Ibrahim H, Martín-Bernabé, Alfonso, Bharat, Rohit, Foguet, Carles, Milà, Enric, Papp, Balázs, Centelles, Josep J, Cascante, Marta

Journal:

Future Medicinal Chemistry

Year:

2014

Language:

english

File:

PDF, 4.67 MB

english, 2014

15

[ACM Press Companion to the 19th annual ACM SIGPLAN conference - Vancouver, BC, CANADA (2004.10.24-2004.10.28)] Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04 - JIVE

Gestwicki, Paul V., Jayaraman, Bharat

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

16

Spatio-Temporal Querying in Smart Spaces

Menon, Vivek, Jayaraman, Bharat, Govindaraju, Venu

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 306 KB

english, 2012

17

Semantics and implementation of resource expressions

Bharat Jayaraman, Robert M. Keller

Journal:

Journal of Parallel and Distributed Computing

Year:

1989

Language:

english

File:

PDF, 349 KB

english, 1989

18

Analysis of Or-parallel execution models

Gupta, Gopal, Jayaraman, Bharat

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 1.54 MB

english, 1993

19

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Optimization and relaxation in constraint logic languages

Govindarajan, Kannan, Jayaraman, Bharat, Mantha, Surya

Year:

1996

Language:

english

File:

PDF, 1.52 MB

english, 1996

20

Plagiarism Detection for Java Programs without Source Codes

Anjali, V., Swapna, T.R., Jayaraman, Bharat

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 923 KB

english, 2015

21

Preference logic grammars

Bharat Jayaraman, Kannan Govindarajan, Surya Mantha

Journal:

Computer Languages

Year:

1998

Language:

english

File:

PDF, 272 KB

english, 1998

22

[ACM Press the First International Conference - Kollam, India (2012.08.17-2012.08.19)] Proceedings of the First International Conference on Security of Internet of Things - SecurIT '12 - Formal analysis of event-driven cyber physical systems

Poroor, Jayaraj, Jayaraman, Bharat

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

23

[ACM Press Addendum to the 2000 proceedings of the conference - Minneapolis, Minnesota, United States (2000..-..)] Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00 - Constrained objects for modeling complex structures (extended abstract) (poster session)

Jayaraman, Bharat, Tambay, Pallavi Y.

Year:

2000

File:

PDF, 94 KB

2000

24

Research on sets, constraints, and preferences

Jayaraman, Bharat

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 134 KB

english, 2000

25

Preference queries in deductive databases

Kannan Govindarajan, Bharat Jayaraman, Surya Mantha

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 1.71 MB

english, 2001

26

Multimodal identification and tracking in smart environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Personal and Ubiquitous Computing

Year:

2010

Language:

english

File:

PDF, 580 KB

english, 2010

27

A domain-theoretic approach to functional and logic programming

Silbermann, Frank S. K., Jayaraman, Bharat

Journal:

Journal of Functional Programming

Year:

1992

Language:

english

File:

PDF, 2.54 MB

english, 1992

28

Subset-logic programs and their implementation

Bharat Jayaraman, Kyonghee Moon

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 2.83 MB

english, 2000

29

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3057 || A Typeful Approach to Object-Oriented Programming with Multiple Inheritance

Jayaraman, Bharat

Year:

2004

Language:

english

File:

PDF, 188 KB

english, 2004

30

Measuring the Conformational Distance of GPCR-related Proteins Using a Joint-based Descriptor

Thangappan, Jayaraman, Madan, Bharat, Wu, Sangwook, Lee, Sun-Gu

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 3.29 MB

english, 2017

31

Probabilistic spatio-temporal retrieval in smart spaces

Vivek Menon, Bharat Jayaraman…

Journal:

Journal of Ambient Intelligence and Humanized Computing

Year:

2014

Language:

english

File:

PDF, 713 KB

english, 2014

32

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Optimization with mode-directed preferences

Guo, Hai-Feng, Jayaraman, Bharat, Gupta, Gopal, Liu, Miao

Year:

2005

Language:

english

File:

PDF, 200 KB

english, 2005

33

[ACM Press the 1986 ACM conference - Cambridge, Massachusetts, United States (1986..-..)] Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 - Equations, sets, and reduction semantics for functional and logic programming

Jayaraman, Bharat, Silbermann, Frank S. K.

Year:

1986

Language:

english

File:

PDF, 993 KB

english, 1986

34

Specification and computation of optimization problems

Mauricio Osorio, Bharat Jayaraman

Journal:

Computers & Industrial Engineering

Year:

1997

Language:

english

File:

PDF, 270 KB

english, 1997

35

Primitives for resource management in a demand-driven reduction model

Bharat Jayaraman, Robert M. Keller

Journal:

International Journal of Parallel Programming

Year:

1986

Language:

english

File:

PDF, 1.32 MB

english, 1986

36

Enhancing biometric recognition with spatio-temporal reasoning in smart environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Personal and Ubiquitous Computing

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

37

Temporal constrained objects: Application and implementation

Kannimoola, Jinesh M., Jayaraman, Bharat, Tambay, Pallavi, Achuthan, Krishnashree

Journal:

Computer Languages, Systems & Structures

Year:

2017

Language:

english

File:

PDF, 1.49 MB

english, 2017

38

From context-free to definite-clause grammars: a type-theoretic approach

Juergen Haas, Bharat Jayaraman

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

39

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Mode-directed preferences for logic programs

Guo, Hai-Feng, Jayaraman, Bharat

Year:

2005

Language:

english

File:

PDF, 188 KB

english, 2005

40

Logic programming with solution preferences

Hai-Feng Guo, Bharat Jayaraman

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

41

[IEEE 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops (ICDCSW) - Philadelphia, PA, USA (2013.07.8-2013.07.11)] 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops - A Distributed Framework for Spatio-Temporal Analysis on Large-Scale Camera Networks

Hong, Kirak, Voelz, Marco, Govindaraju, Venu, Jayaraman, Bharat, Ramachandran, Umakishore

Year:

2013

Language:

english

File:

PDF, 295 KB

english, 2013

42

Theory of partial-order programming

Mauricio Osorio, Bharat Jayaraman, David A. Plaisted

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 2.18 MB

english, 1999

43

[ACM Press Addendum to the 2000 proceedings of the conference - Minneapolis, Minnesota, United States (2000..-..)] Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00 - Constrained objects for modeling complex structures (extended abstract)

Jayaraman, Bharat, Tambay, Pallavi Y.

Year:

2000

Language:

english

File:

PDF, 85 KB

english, 2000

44

Engineering a beta-turn in green fluorescent protein to a foreign loop

Madan, Bharat, Thangappan, Jayaraman, Lee, Sun-Gu

Journal:

Journal of Industrial & Engineering Chemistry

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

45

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3057 || Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell

Jayaraman, Bharat

Year:

2004

Language:

english

File:

PDF, 194 KB

english, 2004

46

Spatio-Temporal Reasoning in Biometrics Based Smart Environments

Vivek Menon, Bharat Jayaraman, Venu Govindaraju

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 675 KB

english, 2011

47

Modeling mobile stateful channels in Z

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 438 KB

english, 2013

48

Finiteâstate model extraction and visualization from Java program execution

K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, Sethumadhavan

Journal:

Software: Practice and Experience

Year:

2020

File:

PDF, 5.04 MB

2020

49

C2L:A Formal Policy Language for Secure Cloud Conﬁgurations

Poroor, Jayaraj, Jayaraman, Bharat

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

50

Scoping constructs in logic programming: Implementation problems and their solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.92 MB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски